121. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
.
G6
1996a
122. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6
123. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996
124. Granular Computing
Author: by Andrzej Bargiela, Witold Pedrycz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
125. Handbook of Logic in Computer Science
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
Classification :
E-Book
,
126. Handbook of logic in computer science
Author: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science , Logic, Symbolic and mathematical
Classification :
QA
76
.
H2785
1992
127. Handbook of logic in computer science
Author: / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Logic, Symbolic and mathematical.
Classification :
QA
,
76
,.
H2785
,
1992
128. Handbook of logic in computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
H2785
1992
129. Handbook of logic in computer science
Author: edited by S. Abramsky, Dor M. Gabba
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
H234
130. Handbook of logic in computer science
Author: edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
H27
1992
131. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
Author: Jan Heering...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
816
132. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
Author: Gilles Dowek ... ]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1074
133. Hyperproof ]for the Macintosh[
Author: John Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Logic, Symbolic and mathematical,، Hyperproof,، Macintosh )Computer(
Classification :
P
25
.
C28
No
.
42
134. Inductive Logic Programming :
Author: edited by Paolo Frasconi, Francesca A. Lisi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers.,Logic, Symbolic and mathematical.
Classification :
QA76
.
63
E358
2011
135. Introduction to formal philosophy /
Author: Sven Ove Hansson, Vincent F. Hendricks, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
Classification :
B808
.
5
.
I58
2018
136. Introduction to formal philosophy
Author: Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
Classification :
B
808
.
5
.
I56
137. Introduction to logic programming
Author: Christopher John Hogger
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
H64
1984
138. Intuitionistic Fuzzy Sets
Author: by Krassimir T. Atanassov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Economics.,Logic, Symbolic and mathematical.
139. Iteration Theories :
Author: by Stephen L. Bloom, Zoltán Ésik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
B978
1993
140. Iteration theories
Author: Stephen L. Bloom, Zoltخ n اsik
Library: Vali Asr University Central Library (Kerman)
Subject: Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
,
I56
1993
